Optimal. Leaf size=450 \[ -\frac{3 \sqrt{-a} \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^{5/2}}+\frac{3 \sqrt{-a} \sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^{5/2}}-\frac{a d \cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}-\frac{a d \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^3}-\frac{a d \sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}+\frac{a d \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (x d+\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^3}-\frac{3 \sqrt{-a} \cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^{5/2}}-\frac{3 \sqrt{-a} \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (x d+\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^{5/2}}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}+\frac{x \sin (c+d x)}{2 b^2}-\frac{\cos (c+d x)}{b^2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.782861, antiderivative size = 450, normalized size of antiderivative = 1., number of steps used = 24, number of rules used = 9, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.474, Rules used = {3343, 3345, 2638, 3333, 3303, 3299, 3302, 3346, 3296} \[ -\frac{3 \sqrt{-a} \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^{5/2}}+\frac{3 \sqrt{-a} \sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^{5/2}}-\frac{a d \cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}-\frac{a d \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{CosIntegral}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^3}-\frac{a d \sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}+\frac{a d \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (x d+\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^3}-\frac{3 \sqrt{-a} \cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+c\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^{5/2}}-\frac{3 \sqrt{-a} \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (x d+\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^{5/2}}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}+\frac{x \sin (c+d x)}{2 b^2}-\frac{\cos (c+d x)}{b^2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3343
Rule 3345
Rule 2638
Rule 3333
Rule 3303
Rule 3299
Rule 3302
Rule 3346
Rule 3296
Rubi steps
\begin{align*} \int \frac{x^4 \sin (c+d x)}{\left (a+b x^2\right )^2} \, dx &=-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}+\frac{3 \int \frac{x^2 \sin (c+d x)}{a+b x^2} \, dx}{2 b}+\frac{d \int \frac{x^3 \cos (c+d x)}{a+b x^2} \, dx}{2 b}\\ &=-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}+\frac{3 \int \left (\frac{\sin (c+d x)}{b}-\frac{a \sin (c+d x)}{b \left (a+b x^2\right )}\right ) \, dx}{2 b}+\frac{d \int \left (\frac{x \cos (c+d x)}{b}-\frac{a x \cos (c+d x)}{b \left (a+b x^2\right )}\right ) \, dx}{2 b}\\ &=-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}+\frac{3 \int \sin (c+d x) \, dx}{2 b^2}-\frac{(3 a) \int \frac{\sin (c+d x)}{a+b x^2} \, dx}{2 b^2}+\frac{d \int x \cos (c+d x) \, dx}{2 b^2}-\frac{(a d) \int \frac{x \cos (c+d x)}{a+b x^2} \, dx}{2 b^2}\\ &=-\frac{3 \cos (c+d x)}{2 b^2 d}+\frac{x \sin (c+d x)}{2 b^2}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}-\frac{\int \sin (c+d x) \, dx}{2 b^2}-\frac{(3 a) \int \left (\frac{\sqrt{-a} \sin (c+d x)}{2 a \left (\sqrt{-a}-\sqrt{b} x\right )}+\frac{\sqrt{-a} \sin (c+d x)}{2 a \left (\sqrt{-a}+\sqrt{b} x\right )}\right ) \, dx}{2 b^2}-\frac{(a d) \int \left (-\frac{\cos (c+d x)}{2 \sqrt{b} \left (\sqrt{-a}-\sqrt{b} x\right )}+\frac{\cos (c+d x)}{2 \sqrt{b} \left (\sqrt{-a}+\sqrt{b} x\right )}\right ) \, dx}{2 b^2}\\ &=-\frac{\cos (c+d x)}{b^2 d}+\frac{x \sin (c+d x)}{2 b^2}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}-\frac{\left (3 \sqrt{-a}\right ) \int \frac{\sin (c+d x)}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^2}-\frac{\left (3 \sqrt{-a}\right ) \int \frac{\sin (c+d x)}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^2}+\frac{(a d) \int \frac{\cos (c+d x)}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^{5/2}}-\frac{(a d) \int \frac{\cos (c+d x)}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^{5/2}}\\ &=-\frac{\cos (c+d x)}{b^2 d}+\frac{x \sin (c+d x)}{2 b^2}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}-\frac{\left (3 \sqrt{-a} \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^2}-\frac{\left (a d \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^{5/2}}+\frac{\left (3 \sqrt{-a} \cos \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^2}+\frac{\left (a d \cos \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^{5/2}}-\frac{\left (3 \sqrt{-a} \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^2}+\frac{\left (a d \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{\sqrt{-a}+\sqrt{b} x} \, dx}{4 b^{5/2}}-\frac{\left (3 \sqrt{-a} \sin \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\cos \left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^2}+\frac{\left (a d \sin \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right )\right ) \int \frac{\sin \left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{\sqrt{-a}-\sqrt{b} x} \, dx}{4 b^{5/2}}\\ &=-\frac{\cos (c+d x)}{b^2 d}-\frac{a d \cos \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Ci}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}-\frac{a d \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Ci}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^3}-\frac{3 \sqrt{-a} \text{Ci}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right ) \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^{5/2}}+\frac{3 \sqrt{-a} \text{Ci}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right ) \sin \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right )}{4 b^{5/2}}+\frac{x \sin (c+d x)}{2 b^2}-\frac{x^3 \sin (c+d x)}{2 b \left (a+b x^2\right )}-\frac{3 \sqrt{-a} \cos \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^{5/2}}-\frac{a d \sin \left (c+\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}-d x\right )}{4 b^3}-\frac{3 \sqrt{-a} \cos \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^{5/2}}+\frac{a d \sin \left (c-\frac{\sqrt{-a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{\sqrt{-a} d}{\sqrt{b}}+d x\right )}{4 b^3}\\ \end{align*}
Mathematica [C] time = 1.15837, size = 632, normalized size = 1.4 \[ -\frac{-a^2 d^2 \sin \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (d \left (x+\frac{i \sqrt{a}}{\sqrt{b}}\right )\right )+a^2 d^2 \sin \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{i \sqrt{a} d}{\sqrt{b}}-d x\right )+3 i a^{3/2} \sqrt{b} d \cos \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (d \left (x+\frac{i \sqrt{a}}{\sqrt{b}}\right )\right )+3 i a^{3/2} \sqrt{b} d \cos \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{i \sqrt{a} d}{\sqrt{b}}-d x\right )+3 i \sqrt{a} b^{3/2} d x^2 \cos \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (d \left (x+\frac{i \sqrt{a}}{\sqrt{b}}\right )\right )+3 i \sqrt{a} b^{3/2} d x^2 \cos \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{i \sqrt{a} d}{\sqrt{b}}-d x\right )+\sqrt{a} d \left (a+b x^2\right ) \text{CosIntegral}\left (d \left (x+\frac{i \sqrt{a}}{\sqrt{b}}\right )\right ) \left (3 i \sqrt{b} \sin \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right )+\sqrt{a} d \cos \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right )\right )+\sqrt{a} d \left (a+b x^2\right ) \text{CosIntegral}\left (d \left (x-\frac{i \sqrt{a}}{\sqrt{b}}\right )\right ) \left (\sqrt{a} d \cos \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right )-3 i \sqrt{b} \sin \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right )\right )-a b d^2 x^2 \sin \left (c-\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (d \left (x+\frac{i \sqrt{a}}{\sqrt{b}}\right )\right )+a b d^2 x^2 \sin \left (c+\frac{i \sqrt{a} d}{\sqrt{b}}\right ) \text{Si}\left (\frac{i \sqrt{a} d}{\sqrt{b}}-d x\right )-2 a b d x \sin (c+d x)+4 a b \cos (c+d x)+4 b^2 x^2 \cos (c+d x)}{4 b^3 d \left (a+b x^2\right )} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.092, size = 3453, normalized size = 7.7 \begin{align*} \text{output too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 1.92142, size = 714, normalized size = 1.59 \begin{align*} \frac{4 \, a b d x \sin \left (d x + c\right ) -{\left (a b d^{2} x^{2} + a^{2} d^{2} + 3 \,{\left (b^{2} x^{2} + a b\right )} \sqrt{\frac{a d^{2}}{b}}\right )}{\rm Ei}\left (i \, d x - \sqrt{\frac{a d^{2}}{b}}\right ) e^{\left (i \, c + \sqrt{\frac{a d^{2}}{b}}\right )} -{\left (a b d^{2} x^{2} + a^{2} d^{2} - 3 \,{\left (b^{2} x^{2} + a b\right )} \sqrt{\frac{a d^{2}}{b}}\right )}{\rm Ei}\left (i \, d x + \sqrt{\frac{a d^{2}}{b}}\right ) e^{\left (i \, c - \sqrt{\frac{a d^{2}}{b}}\right )} -{\left (a b d^{2} x^{2} + a^{2} d^{2} + 3 \,{\left (b^{2} x^{2} + a b\right )} \sqrt{\frac{a d^{2}}{b}}\right )}{\rm Ei}\left (-i \, d x - \sqrt{\frac{a d^{2}}{b}}\right ) e^{\left (-i \, c + \sqrt{\frac{a d^{2}}{b}}\right )} -{\left (a b d^{2} x^{2} + a^{2} d^{2} - 3 \,{\left (b^{2} x^{2} + a b\right )} \sqrt{\frac{a d^{2}}{b}}\right )}{\rm Ei}\left (-i \, d x + \sqrt{\frac{a d^{2}}{b}}\right ) e^{\left (-i \, c - \sqrt{\frac{a d^{2}}{b}}\right )} - 8 \,{\left (b^{2} x^{2} + a b\right )} \cos \left (d x + c\right )}{8 \,{\left (b^{4} d x^{2} + a b^{3} d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{4} \sin{\left (c + d x \right )}}{\left (a + b x^{2}\right )^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{4} \sin \left (d x + c\right )}{{\left (b x^{2} + a\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]